#define _CRT_SECURE_NO_WARNINGS 1
//#include <stdio.h>
//int main () {
//    int a[] = {73, 32, 99, 97, 110, 32, 100, 111, 32, 105, 116 , 33};
//    int length = sizeof(a);
//    int i = 0;
//    for (i = 0; i < 12; i++){
//        printf("%c",a[i]);
//    }
//    return 0;
//}
int main()
{
  int n, t;
  scanf("%d\n", &n);
  t = (n / 12) * 4 + 2;
  printf("%d\n", t);
  return 0;
}

#include <stdio.h>
int main() {
    char x = 0;
    while ((x = getchar()) != EOF) {
        getchar();
        if (x >= 'A' && x <= 'Z') {
            putchar(x + 32);
            printf("\n");
        }
        else {
            putchar(x - 32);
            printf("\n");
        }
    }
}